/*
 * ----------------------------------------------------------------------------
 *  (C) Copyright European Telecommunications Standards Institute, 2001.
 *  All Rights Reserved.
 *
 *  All copies of this program, whether in whole or in part, and whether
 *  modified or not, must display this and all other embedded copyright
 *  and ownership notices in full.
 *
 * ----------------------------------------------------------------------------
 */
package org.etsi.ttcn.tri;

import java.io.Serializable;

/**  
     A value of type TriPortIdListType is a list of
     TriPortIdType. This abstract type is used for initialization
     purposes after the invocation of a TTCN-3 test case.
 */
public interface TriPortIdList extends Serializable {

    /** Returns the number of ports in this list.
     */
    public int                   size();

    /** Returns true if this list contains no ports.
     */
    public boolean               isEmpty();

    /** Returns an Enumeration over the ports in the list. The
	enumeration provides the ports in the same order as they
	appear in the list.
     */
    public java.util.Enumeration getPortIds();

    /** Returns the TriPortId at the specified position.
     */
    public TriPortId             get(int index);
}
